1. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
پدیدآورنده : A. Nerode, Yuri V. Matiyasevich, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
L64
1994